Automatic Testing of Program Slicers
نویسندگان
چکیده
منابع مشابه
A Qualitative Study of Two Whole-Program Slicers for C
Recently, a few whole-program static slicers for the C programming language have been developed, permitting a variety of hypotheses about time–precision tradeoffs in program analysis for software engineering to be tested. This paper reports an initial investigation into these claims through GrammaTech’s CodeSurfer and UCSD’s Sprite research prototype, which represent two very different approach...
متن کاملA Comparative Study of Two Whole-Program Slicers for C
Recently, a few whole-program static slicers for the C programming language have been developed, permitting a variety of hypotheses about time–precision tradeoffs in program analysis for software engineering to be tested. This paper reports an initial investigation into these claims through GrammaTech’s CodeSurfer and UCSD’s Sprite research prototype, which represent two two radically different...
متن کاملFocussing Image Slicers : Refractive and Reflective
A number of design options for image slicers for NGST and Gemini are being investigated. These image slicers are all of the focussing type and both refractive and reflective solutions are being explored. One such device, an image slicer that focuses 10 slices on a spectrograph slit is now in operation at the McMath Solar telescope. It consists of three lenslet arrays, and additionally acts as a...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولAutomatic Program Annotation
Techniques were developed by which an Algol-like program, given together with its specifications, may be documented automatically. This documentation expresses invariant relationships that hold between program variables at intermediate points in the program, and explains the actual workings of the program regardless of whether the program is correct. These techniques, formulated as deduction ru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2019
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2019/4108652